Ingrese una palabra o frase en cualquier idioma 👆
Idioma:
Traducción y análisis de palabras por inteligencia artificial ChatGPT
En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:
- cómo se usa la palabra
- frecuencia de uso
- se utiliza con más frecuencia en el habla oral o escrita
- opciones de traducción
- ejemplos de uso (varias frases con traducción)
- etimología
Qué (quién) es lifted domain - definición
WIKIMEDIA DISAMBIGUATION PAGE
Lifted (album); Lifted (disambiguation); Lifted (film); Lifted (song); Lifted(Song); Lifted (movie)
lifted domain
<theory> In domain theory, a domain with a new bottom
element added. Given a domain D, the lifted domain, lift D
contains an element lift d corresponding to each element d in
D with the same ordering as in D and a new element bottom
which is less than every other element in lift D.
In functional languages, a lifted domain can be used to
model a constructed type, e.g. the type
data LiftedInt = K Int
contains the values K minint .. K maxint and K bottom,
corresponding to the values in Int, and a new value bottom.
This denotes the fact that when computing a value v = (K n)
the computation of either n or v may fail to terminate
yielding the values (K bottom) or bottom respectively.
(In LaTeX, a lifted domain or element is indicated by a
subscript perp).
See also tuple.
Lifted
·Impf & ·p.p. of Lift.
Lifted index
TEMPERATURE DIFFERENCE MEASURE OF THE STABILITY OF THE ATMOSPHERE
Lifted Index
The lifted index (LI) is the temperature difference between the environment Te(p) and an air parcel lifted adiabatically Tp(p) at a given pressure height in the troposphere (lowest layer where most weather occurs) of the atmosphere, usually 500 hPa (mb). The temperature is measured in Celsius.
